English program verification: tłumaczenie na inne języki